Ayed, Leila Ben: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users

Bendaly Hlaoui, Yousra, Zouhaier, Lamia, Ben Ayed, Leila

Journal:

Journal on Multimodal User Interfaces

Year:

2018

Language:

english

File:

PDF, 4.50 MB

english, 2018

2

Un nodule cutané du décolleté

Chelbi, Emna, Chadli-Debbiche, Aschraf, Ferchichi, Leila, Koubaa, Wafa, Labbene, Naceur, Ben Ayed, Mohamed

Journal:

Annales de Pathologie

Year:

2006

Language:

french

File:

PDF, 425 KB

french, 2006

3

Une variété rare de lipome: le lipome sclérosant

Ferchichi, Leila, Chadli-Debbiche, Aschraf, Ben Ayed, Mohamed

Journal:

Annales de Pathologie

Year:

2006

Language:

french

File:

PDF, 405 KB

french, 2006

4

Institution-based UML activity diagram transformation with semantic preservation

Achouri, Amine, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Journal:

International Journal of Computational Science and Engineering

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

5

[IEEE 2009 IEEE Congress on Services (SERVICES) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 Congress on Services - I - UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification

Younes, Ahlem Ben, Ayed, Leila Jemni Ben

Year:

2009

Language:

english

File:

PDF, 272 KB

english, 2009

6

[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Message from the MVDA 2015 Workshop Organizers

Ayed, Leila Jemni Ben, Belli, Fevzi, Younes, Ahlem Ben, Hlaoui, Yousra Bendaly

Year:

2015

Language:

english

File:

PDF, 185 KB

english, 2015

7

[IEEE 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Tokyo, Japan (2018.7.23-2018.7.27)] 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - A New Approach for the Verification of BPMN Models Using Refinement Patterns

Ayari, Salma, Ben Dali Hlaoui, Yosra, Jemni Ben Ayed, Leila

Year:

2018

Language:

english

File:

PDF, 146 KB

english, 2018

8

[IEEE 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Milwaukee, WI, USA (2019.7.15-2019.7.19)] 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement

Ayari, Salma, Bendali Hlaoui, Yousra, Ben Ayed, Leila

Year:

2019

Language:

english

File:

PDF, 561 KB

english, 2019

9

A formal approach for the development of reactive systems

Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 1.45 MB

english, 2011

10

Acid violet 7 and its biodegradation products induce chromosome aberrations, lipid peroxidation, and cholinesterase inhibition in mouse bone marrow

Hédi Ben Mansour, Yosra Ayed-Ajmi, Ridha Mosrati, David Corroler, Kamel Ghedira, Daniel Barillier, Leila Chekir-Ghedira

Journal:

Environmental Science and Pollution Research

Year:

2010

Language:

english

File:

PDF, 451 KB

english, 2010

11

A fully personalization strategy of E-learning scenarios

Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf

Journal:

Computers in Human Behavior

Year:

2010

Language:

english

File:

PDF, 841 KB

english, 2010

12

Cytokine and apoptosis gene polymorphisms influence the outcome of hepatitis C virus infection

Leila Ksiaa Cheikhrouhou, Imen Sfar, Hajer Aounallah-Skhiri, Houda Aouadi, Salwa Jendoubi-Ayed, Taieb Ben Abdallah, Khaled Ayed, Yousr Lakhoua-Gorgi

Journal:

Hepatobiliary & Pancreatic Diseases International

Year:

2011

Language:

english

File:

PDF, 178 KB

english, 2011

13

[IEEE Seventh IEEE International Conference on Advanced Learning Technologies (ICALT 2007) - Nigata, Japan (2007.07.18-2007.07.20)] Seventh IEEE International Conference on Advanced Learning Technologies (ICALT 2007) - A Multi-Parameters Personalization Approach of Learning Scenarios

Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed

Year:

2007

Language:

english

File:

PDF, 142 KB

english, 2007

14

Clearance and Persistence of Hepatitis C Virus in a Tunisian Population: Association with HLA Class I and Class II

Ksiaa, Leila, Ayed-Jendoubi, Saloua, Sfar, Imen, Gorgi, Yousr, Najjar, Houda Aouadi Tawfik, Abdallah, Taieb Ben, Ayed, Khaled

Journal:

Viral Immunology

Year:

2007

Language:

english

File:

PDF, 91 KB

english, 2007

15

Interleukin-18 Gene Polymorphisms in Tunisian Patients with Inflammatory Bowel Disease

Ben Aleya, Walid, Sfar, Imen, Habibi, Imen, Mouelhi, Leila, Aouadi, Houda, Makhlouf, Mouna, Ayed-Jendoubi, Salwa, Najjar, Taoufik, Abdallah, Taeib Ben, Ayed, Khaled, Gorgi, Yousr

Journal:

Year:

2011

Language:

english

File:

PDF, 165 KB

english, 2011

16

[IEEE 2011 11th IEEE International Conference on Advanced Learning Technologies (ICALT) - Athens, GA, USA (2011.07.6-2011.07.8)] 2011 IEEE 11th International Conference on Advanced Learning Technologies - Evaluation of Personalization Strategies Based on Fuzzy Logic

Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed, Kinshuk,, Graf, Sabine

Year:

2011

Language:

english

File:

PDF, 298 KB

english, 2011

17

[IEEE 2010 IEEE 10th International Conference on Advanced Learning Technologies (ICALT) - Sousse, Tunisia (2010.07.5-2010.07.7)] 2010 10th IEEE International Conference on Advanced Learning Technologies - An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy

Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed

Year:

2010

Language:

english

File:

PDF, 214 KB

english, 2010

18

[IEEE 2013 IEEE 37th International Computer Software and Applications Conference Workshops (COMPSACW) - Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops - Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users

Zouhaier, Lamia, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2013

Language:

english

File:

PDF, 182 KB

english, 2013

19

[ACM Press the 13th International Conference - Ho Chi Minh City, Vietnam (2011.12.05-2011.12.07)] Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services - iiWAS '11 - An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications

Younes, Ahlem Ben, Ayed, Leila Jemni Ben

Year:

2011

Language:

english

File:

PDF, 681 KB

english, 2011

20

[IEEE 2013 Fourth International Conference on Information and Communication Technology and Accessibility (ICTA) - Hammamet, Tunisia (2013.10.24-2013.10.26)] Fourth International Conference on Information and Communication Technology and Accessibility (ICTA) - Towards accessible and personalized mobile learning for learners with disabilities

Hebiri Madani, Halima, Jemni Ben Ayed, Leila, Jemni, Mohamed, Sampson, Demetrios G.

Year:

2013

Language:

english

File:

PDF, 712 KB

english, 2013

21

[IEEE 2012 IEEE 36th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW) - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops - A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application

Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben, Fraj, Imen Ben, Benyounes, Ahlem

Year:

2012

Language:

english

File:

PDF, 823 KB

english, 2012

22

[IEEE 2013 IEEE 37th International Computer Software and Applications Conference Workshops (COMPSACW) - Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops - Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams

Younes, Ahlem Ben, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben, Jlassi, Rahma

Year:

2013

Language:

english

File:

PDF, 410 KB

english, 2013

23

[IEEE 31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007) - Beijing, China (2007.07.24-2007.07.27)] 31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007) - Using UML Activity Diagrams and Event B for Distributed and Parallel Applications

Younes, Ahlem Ben, Ayed, Leila Jemni Ben

Year:

2007

Language:

english

File:

PDF, 149 KB

english, 2007

24

Learning technologies for people with disabilities

Laabidi, Mohsen, Jemni, Mohamed, Jemni Ben Ayed, Leila, Ben Brahim, Hejer, Ben Jemaa, Amal

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2014

Language:

english

File:

PDF, 4.76 MB

english, 2014

25

[IEEE 2008 33rd IEEE Conference on Local Computer Networks (LCN 2008) - Montreal, QB, Canada (2008.10.14-2008.10.17)] 2008 33rd IEEE Conference on Local Computer Networks (LCN) - Event-B based invariant checking of secrecy in group key protocols

Gawanmeh, Amjad, Tahar, Sofiene, Ayed, Leila Jemni Ben

Year:

2008

Language:

english

File:

PDF, 401 KB

english, 2008

26

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications

Ben Younes, Ahlem, Ben Ayed, Leila Jemni

Year:

2008

Language:

english

File:

PDF, 184 KB

english, 2008

27

[IEEE 2008 Eighth IEEE International Conference on Advanced Learning Technologies - Santander, Cantabria, Spain (2008.07.1-2008.07.5)] 2008 Eighth IEEE International Conference on Advanced Learning Technologies - UML Class Diagram as a Navigational Support for E-Learning

Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed, Kinshuk,

Year:

2008

Language:

english

File:

PDF, 272 KB

english, 2008

28

[IEEE 2014 IEEE 38th Annual Computer Software and Applications Conference (COMPSAC) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th Annual Computer Software and Applications Conference - Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach

Zouhaier, Lamia, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2014

Language:

english

File:

PDF, 201 KB

english, 2014

29

[IEEE 2012 IEEE 36th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW) - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops - UML AD Refinement Patterns for Modeling Workflow Applications

Younes, Ahlem Ben, Ayed, Leila Jemni Ben, Hlaoui, Yousra Bendaly

Year:

2012

Language:

english

File:

PDF, 306 KB

english, 2012

30

[IEEE 2013 Fourth International Conference on Information and Communication Technology and Accessibility (ICTA) - Hammamet, Tunisia (2013.10.24-2013.10.26)] Fourth International Conference on Information and Communication Technology and Accessibility (ICTA) - A specification approach based on adapted workflow for personalized e-assessment systems

Hajjej, Fahima, Hlaoui, Yousra Ben Daly, Ayed, Leila Jemni Ben

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

31

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems

Ben Ayed, Leila Jemni, Siala, Fatma

Year:

2008

Language:

english

File:

PDF, 352 KB

english, 2008

32

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - Towards an Institutional Representation for the B Model Oriented Specification

Achouri, Amine, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2014

Language:

english

File:

PDF, 339 KB

english, 2014

33

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - Institution Theory for Services Oriented Applications

Achouri, Amine, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2014

Language:

english

File:

PDF, 409 KB

english, 2014

34

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - A Meta-model Transformation from UML Activity Diagrams to Event-B Models

Younes, Ahlem Ben, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2014

Language:

english

File:

PDF, 230 KB

english, 2014

35

Generalized metrics for the analysis of E-learning personalization strategies

Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed, Graf, Sabine, Kinshuk,

Journal:

Computers in Human Behavior

Year:

2015

Language:

english

File:

PDF, 738 KB

english, 2015

36

[ACM Press the 16th International Conference - Hanoi, Viet Nam (2014.12.04-2014.12.06)] Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services - iiWAS '14 - A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models

Younes, Ahlem Ben, Hlaoui, Yousra BenDaly, Ayed, Leila Jemni Ben

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

37

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - UML activity diagram to event-B: A model transformation approach based on the institution theory

Achouri, Amine, Ben Ayed, Leila Jemni

Year:

2014

Language:

english

File:

PDF, 218 KB

english, 2014

38

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Transformation of B specifications into UML class diagrams and state machines

Fekih, Houda, Ayed, Leila Jemni Ben, Merz, Stephan

Year:

2006

Language:

english

File:

PDF, 642 KB

english, 2006

39

[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Towards to Compose Cloud Service Flexible Workflow Applications

Fraj, Imen Ben, Hlaoui, Yousra Bendaly, Younes, Ahlem Ben, Ayed, Leila Jemni Ben

Year:

2015

Language:

english

File:

PDF, 311 KB

english, 2015

40

[IEEE 2015 International Wireless Communications and Mobile Computing Conference (IWCMC) - Dubrovnik, Croatia (2015.8.24-2015.8.28)] 2015 International Wireless Communications and Mobile Computing Conference (IWCMC) - RPL protocol adapted for healthcare and medical applications

Gara, Fatma, Ben Saad, Leila, Ben Ayed, Rahma, Tourancheau, Bernard

Year:

2015

Language:

english

File:

PDF, 467 KB

english, 2015

41

[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Personalized and Generic E-assessment Process Based on Cloud Computing

Hajjej, Fahima, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2015

Language:

english

File:

PDF, 582 KB

english, 2015

42

[IEEE 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - Marrakech (2015.12.21-2015.12.23)] 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - Reverse engineering to create a generic workflow E-Assessment system

Hajjej, Fahima, Bendaly Hlaoui, Yousra, Ben Ayed, Leila Jemni

Year:

2015

Language:

english

File:

PDF, 1023 KB

english, 2015

43

From UML Activities Diagrams to Event B

Jemni Ben Ayed, Leila, Hamdi, Najet

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 533 KB

english, 2009

44

[IEEE 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET) - Dallas, TX, USA (2016.4.5-2016.4.6)] 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET) - A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services

Hajjej, Fahima, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni Ben

Year:

2016

Language:

english

File:

PDF, 814 KB

english, 2016

45

Hepatitis C Virus and Professional Risk in Anesthesia and Intensive Care: A Case Report

Leila Bakir, Moncef Ben Ayed, Olfa Chourou, Mohamed-Salah Ben Ammar and Najia Ben Salah

Journal:

Infection Control and Hospital Epidemiology

Year:

1998

Language:

english

File:

PDF, 387 KB

english, 1998

46

Polymorphism in ICAM-1, PECAM-1, E-selectin, and L-selectin genes in Tunisian patients with inflammatory bowel disease

Khazen, Dorra, Jendoubi-Ayed, Saloua, Aleya, Walid Ben, Sfar, Imen, Mouelhi, Leila, Matri, Samira, Najjar, Tawfik, Filali, Azza, Gorgi, Yousr, Abdallah, Taieb Ben, Ayed, Khaled

Journal:

European Journal of Gastroenterology & Hepatology

Year:

2009

Language:

english

File:

PDF, 126 KB

english, 2009

47

Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems

Ayed, Leila Jemni Ben, Daly, Yousra Hlaoui Ben

Journal:

International Journal of Internet Technology and Secured Transactions

Year:

2009

Language:

english

File:

PDF, 441 KB

english, 2009

48

Molecular detection and characterization through analysis of the hexon and fiber genes of Adenoviruses causing conjunctivitis in Tunisia, North Africa

Fedaoui, Nadia, Ben Ayed, Narjess, Ben Yahia, Ahlem, Hammami, Walid, Matri, Leila, Nacef, Leila, Triki, Henda

Journal:

Journal of Medical Virology

Year:

2016

Language:

english

File:

PDF, 635 KB

english, 2016

49

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - A taxonomy of identities management systems in IOT

Boujezza, Hajer, AL-Mufti, Modher, Ayed, Hela Kaffel Ben, Saidane, Leila

Year:

2015

Language:

english

File:

PDF, 695 KB

english, 2015

50

[IEEE 2016 International Wireless Communications and Mobile Computing Conference (IWCMC) - Paphos, Cyprus (2016.9.5-2016.9.9)] 2016 International Wireless Communications and Mobile Computing Conference (IWCMC) - An adaptive timer for RPL to handle mobility in wireless sensor networks

Gara, Fatma, Ben Saad, Leila, Ben Hamida, Elyes, Tourancheau, Bernard, Ben Ayed, Rahma

Year:

2016

Language:

english

File:

PDF, 665 KB

english, 2016